Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
نویسندگان
چکیده
ion Jens R. Calamé1 Natalia Ioustinova2 Jaco van de Pol3 Dept. of Software Engineering Centrum voor Wiskunde en Informatica Amsterdam, The Netherlands
منابع مشابه
Towards Automatic Generation of Parameterized Test Cases from Abstractions
Model-based tools for automatic test generation usually can handle systems of a rather limited size. Therefore, they cannot be applied directly to systems of real industrial size. Here, we propose an approach to test generation combining enumerative data abstraction, test generation methods and constraint solving. The approach allows applying enumerative test generation tools like TGV to large ...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملParameterized Reusable Component Library Methodology
In this paper, we describe the Parameterized Reusable Component Library (PRCLIB) methodology, which supports design reuse automation. Unlike the Y-chart approach [2] which helps design space exploration at higher levels of abstraction, PRCLIB methodology addresses the issue of design space exploration at RTL levels. Although the methodology is developed keeping in mind Data Driven Media Process...
متن کاملMaking Model-Based Testing More Agile: A Use Case Driven Approach
We address the problem of misalignment of artifacts developed in agile software development projects and those required by model-based test generation tools. Our solution is domain specific and relies on the existence of domain experts to design the test models. The testers interface the test generation systems with use cases that are converted into sequences of so called action words correspon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 191 شماره
صفحات -
تاریخ انتشار 2007